time discretization - German English Dictionary